Copyright
---------

See http://us.metamath.org/copyright.html for license and copyright
information that applies to the content of this package.

